Optimal. Leaf size=124 \[ -\frac{5 a^3 \sin ^7(c+d x)}{63 d}+\frac{a^3 \sin ^5(c+d x)}{3 d}-\frac{5 a^3 \sin ^3(c+d x)}{9 d}+\frac{5 a^3 \sin (c+d x)}{9 d}-\frac{5 i a^3 \cos ^7(c+d x)}{63 d}-\frac{2 i a \cos ^9(c+d x) (a+i a \tan (c+d x))^2}{9 d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.083663, antiderivative size = 124, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 3, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.125, Rules used = {3496, 3486, 2633} \[ -\frac{5 a^3 \sin ^7(c+d x)}{63 d}+\frac{a^3 \sin ^5(c+d x)}{3 d}-\frac{5 a^3 \sin ^3(c+d x)}{9 d}+\frac{5 a^3 \sin (c+d x)}{9 d}-\frac{5 i a^3 \cos ^7(c+d x)}{63 d}-\frac{2 i a \cos ^9(c+d x) (a+i a \tan (c+d x))^2}{9 d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3496
Rule 3486
Rule 2633
Rubi steps
\begin{align*} \int \cos ^9(c+d x) (a+i a \tan (c+d x))^3 \, dx &=-\frac{2 i a \cos ^9(c+d x) (a+i a \tan (c+d x))^2}{9 d}+\frac{1}{9} \left (5 a^2\right ) \int \cos ^7(c+d x) (a+i a \tan (c+d x)) \, dx\\ &=-\frac{5 i a^3 \cos ^7(c+d x)}{63 d}-\frac{2 i a \cos ^9(c+d x) (a+i a \tan (c+d x))^2}{9 d}+\frac{1}{9} \left (5 a^3\right ) \int \cos ^7(c+d x) \, dx\\ &=-\frac{5 i a^3 \cos ^7(c+d x)}{63 d}-\frac{2 i a \cos ^9(c+d x) (a+i a \tan (c+d x))^2}{9 d}-\frac{\left (5 a^3\right ) \operatorname{Subst}\left (\int \left (1-3 x^2+3 x^4-x^6\right ) \, dx,x,-\sin (c+d x)\right )}{9 d}\\ &=-\frac{5 i a^3 \cos ^7(c+d x)}{63 d}+\frac{5 a^3 \sin (c+d x)}{9 d}-\frac{5 a^3 \sin ^3(c+d x)}{9 d}+\frac{a^3 \sin ^5(c+d x)}{3 d}-\frac{5 a^3 \sin ^7(c+d x)}{63 d}-\frac{2 i a \cos ^9(c+d x) (a+i a \tan (c+d x))^2}{9 d}\\ \end{align*}
Mathematica [A] time = 0.651795, size = 116, normalized size = 0.94 \[ \frac{a^3 (-378 i \sin (2 (c+d x))+216 i \sin (4 (c+d x))+14 i \sin (6 (c+d x))+567 \cos (2 (c+d x))-162 \cos (4 (c+d x))-7 \cos (6 (c+d x))+210) (\sin (3 (c+2 d x))-i \cos (3 (c+2 d x)))}{2016 d (\cos (d x)+i \sin (d x))^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.063, size = 166, normalized size = 1.3 \begin{align*}{\frac{1}{d} \left ( -i{a}^{3} \left ( -{\frac{ \left ( \sin \left ( dx+c \right ) \right ) ^{2} \left ( \cos \left ( dx+c \right ) \right ) ^{7}}{9}}-{\frac{2\, \left ( \cos \left ( dx+c \right ) \right ) ^{7}}{63}} \right ) -3\,{a}^{3} \left ( -1/9\,\sin \left ( dx+c \right ) \left ( \cos \left ( dx+c \right ) \right ) ^{8}+{\frac{\sin \left ( dx+c \right ) }{63} \left ({\frac{16}{5}}+ \left ( \cos \left ( dx+c \right ) \right ) ^{6}+6/5\, \left ( \cos \left ( dx+c \right ) \right ) ^{4}+8/5\, \left ( \cos \left ( dx+c \right ) \right ) ^{2} \right ) } \right ) -{\frac{i}{3}}{a}^{3} \left ( \cos \left ( dx+c \right ) \right ) ^{9}+{\frac{{a}^{3}\sin \left ( dx+c \right ) }{9} \left ({\frac{128}{35}}+ \left ( \cos \left ( dx+c \right ) \right ) ^{8}+{\frac{8\, \left ( \cos \left ( dx+c \right ) \right ) ^{6}}{7}}+{\frac{48\, \left ( \cos \left ( dx+c \right ) \right ) ^{4}}{35}}+{\frac{64\, \left ( \cos \left ( dx+c \right ) \right ) ^{2}}{35}} \right ) } \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.20519, size = 196, normalized size = 1.58 \begin{align*} -\frac{105 i \, a^{3} \cos \left (d x + c\right )^{9} + 5 i \,{\left (7 \, \cos \left (d x + c\right )^{9} - 9 \, \cos \left (d x + c\right )^{7}\right )} a^{3} - 3 \,{\left (35 \, \sin \left (d x + c\right )^{9} - 135 \, \sin \left (d x + c\right )^{7} + 189 \, \sin \left (d x + c\right )^{5} - 105 \, \sin \left (d x + c\right )^{3}\right )} a^{3} -{\left (35 \, \sin \left (d x + c\right )^{9} - 180 \, \sin \left (d x + c\right )^{7} + 378 \, \sin \left (d x + c\right )^{5} - 420 \, \sin \left (d x + c\right )^{3} + 315 \, \sin \left (d x + c\right )\right )} a^{3}}{315 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.18284, size = 319, normalized size = 2.57 \begin{align*} \frac{{\left (-7 i \, a^{3} e^{\left (12 i \, d x + 12 i \, c\right )} - 54 i \, a^{3} e^{\left (10 i \, d x + 10 i \, c\right )} - 189 i \, a^{3} e^{\left (8 i \, d x + 8 i \, c\right )} - 420 i \, a^{3} e^{\left (6 i \, d x + 6 i \, c\right )} - 945 i \, a^{3} e^{\left (4 i \, d x + 4 i \, c\right )} + 378 i \, a^{3} e^{\left (2 i \, d x + 2 i \, c\right )} + 21 i \, a^{3}\right )} e^{\left (-3 i \, d x - 3 i \, c\right )}}{4032 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 1.74558, size = 277, normalized size = 2.23 \begin{align*} \begin{cases} \frac{\left (- 270582939648 i a^{3} d^{6} e^{13 i c} e^{9 i d x} - 2087354105856 i a^{3} d^{6} e^{11 i c} e^{7 i d x} - 7305739370496 i a^{3} d^{6} e^{9 i c} e^{5 i d x} - 16234976378880 i a^{3} d^{6} e^{7 i c} e^{3 i d x} - 36528696852480 i a^{3} d^{6} e^{5 i c} e^{i d x} + 14611478740992 i a^{3} d^{6} e^{3 i c} e^{- i d x} + 811748818944 i a^{3} d^{6} e^{i c} e^{- 3 i d x}\right ) e^{- 4 i c}}{155855773237248 d^{7}} & \text{for}\: 155855773237248 d^{7} e^{4 i c} \neq 0 \\\frac{x \left (a^{3} e^{12 i c} + 6 a^{3} e^{10 i c} + 15 a^{3} e^{8 i c} + 20 a^{3} e^{6 i c} + 15 a^{3} e^{4 i c} + 6 a^{3} e^{2 i c} + a^{3}\right ) e^{- 3 i c}}{64} & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.62819, size = 1403, normalized size = 11.31 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]